Usage of "выводимая формула"

portuguès

lógica matemática

anglès

formal logic

català

metamatemàtica

espanyol

logica matematica

Раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и пр.

Veure'n més

Termes relacionats

раздел математики

metamatemàtica

Sinònims

Examples for "математическая логика"

Кандидат философских наук по специальности " Математическая логика".

Translations for выводимая формула

portuguès

lógica matemática

anglès

formal logic logic symbolic logic modern logic mathematical logic

català

metamatemàtica lògica simbòlica lògica matemàtica

espanyol

logica matematica neopositivistas lógicos logica lógica simbólica lógica logica simbolica neopositivistas logicos lógica matemática

Llengua d'interfície

Significats de выводимая формула en rus